T-Equivalences for positive Sentences
نویسنده
چکیده
Answering a question formulated by Halbach (2009), I show that a disquotational truth theory, which takes as axioms all positive substitutions of the sentential T-schema, together with all instances of induction in the language with the truth predicate, is conservative over its syntactical base. §
منابع مشابه
Bidirectional Contextual Resolution
This paper describes a formalism and implementation for the interpretation and generation of sentences containing context dependent constructs like determiners, pronouns, focus, and ellipsis. A variant of ‘quasi-logical form’ is used as an underspecified meaning representation, related to ‘resolved logical forms’ via ‘conditional equivalences’. These equivalences define the interpretation of co...
متن کاملA Computational Theory of Context Dependence
This paper describes a reversible system for the interpretation and generation of sentences containing context dependent constructs like pronouns, focus, and ellipsis. A variant of`quasi-logical form' is used as an underspeci-ed meaning representation, related tòresolved logical forms' viàconditional equivalences'. These equivalences deene the semantics of contextually dependent constructs with...
متن کاملLinear Formulas in Continuous Logic
We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...
متن کاملEquivalences in Bicategories
In this paper, we establish some connections between the concept of an equivalence of categories and that of an equivalence in a bicategory. Its main result builds upon the observation that two closely related concepts, which could both play the role of an equivalence in a bicategory, turn out not to coincide. Two counterexamples are provided for that goal, and detailed proofs are given. In par...
متن کاملThe Performance of Iranian EFL Learners in Producing and Recognizing Idiom-Containing Sentences
This study aimed to investigate how Iranian EFL learners performed in producing sentences containing idioms and whether they had any problems in producing such sentences. This query, subsequently, raised the question of whether idioms influenced the participants’ grammaticality judgment on idiom-containing sentences. For this purpose, firstly, the writings of 24 learners were investigated for a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Rew. Symb. Logic
دوره 4 شماره
صفحات -
تاریخ انتشار 2011